Lang-n-Send Extended: Sending Regular Expressions to Monitors

In prior work, Cimini has presented Lang-n-Send, a pi-calculus with language definitions. this paper, we present an extension of calculus called Lang-n-Send+m. First, revise Lang-n-Send to work transition system specifications rather than its specifications. This revision allows the use negative premises in deduction rules. Next, extend monitors and ability sending receiving regular expressions, which then can be used context larger expressions monitor execution programs. We reduction semantics for Lang-n-Send+m, offer examples that demonstrate scenarios our captures.